While reading the overview and specification, I did not understand what the core concept CRDT stood for, until I googled it. The full name of the term was mentioned once in the overview, 595 words before the first use of the abbreviation, and not at all in the specification. I hope adding a juxtaposition of full name and abbreviation to both files will make the protocol spec easier to understand for readers who weren't already familiar with CRDTs.